481. Dictionary of symbols of mathematical logic
Author: Feys, Robert
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematical notation
Classification :
QA
9
.
F49
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
482. Dictionary of symbols of mathematical logic
Author: / Edited by Robert Feys and Frederic B. Fitch,Feys
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical,Mathematical notation
Classification :
QA
9
.
F49
R
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
483. Die Antinomien der Logik;semantische unter suchungen
Author: Kutschera
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Antinomy,Logic, symbolic and mathematical,Semantics (Philosophy)
Classification :
BC
135
.
K84
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
484. Die Gödel'schen Unvollständigkeitssätze :
Author: von Dirk W. Hoffmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematical Logic and Foundations.,Mathematics.
![](/design/images/bookmore.png)
485. Die Grundlagen der Mathematik
Author: von David Hilbert.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA9
.
V663
1928
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
486. Digital logic and switching circuits : operation and analysis
Author: Boyce, Jefferson C
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Digital electronics,، Logic, Symbolic and mathematical,، Switching theory
Classification :
TK
7868
.
D5
.
B69
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
487. Direct and converse theorems
Author: I. S. Gradshtein ; translated from the Russian by T. Boddington.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Axioms.,Logic, Symbolic and mathematical.,Set theory.
![](/design/images/bookmore.png)
488. Dirk van Dalen Festschrift
Author: Henk Barendregt, Marc Bezem, Jan Willem Klop (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Dalen, D. van -- (Dirk), -- 1932-,Logic, Symbolic and mathematical.,Logica.
Classification :
QA9
.
H465
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
489. Discovering Patterns in Mathematics and Poetry
Author: \ Marcia Birken and Anne C. Coon
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematics and literature,Logic, Symbolic and mathematical,Word problems (Mathematics),منطق ریاضی,مساله واژه (ریاضیات)
Classification :
E-Book
,
![](/design/images/bookmore.png)
490. Discovering patterns in mathematics and poetry /
Author: Marcia Birken and Anne C. Coon.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics and literature.,Pattern perception.,Poetics.,Word problems (Mathematics),Logic, Symbolic and mathematical.,Mathematics and literature.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Pattern perception.,Poetics.,Word problems (Mathematics)
Classification :
PN55
.
B57
2008eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
491. Discrete Mathematics
Author:
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Mathematical recreations,Computer Science -- Mathematics
Classification :
QA9
.
25
.
E57
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
492. Discrete and decision
Author: / Ian Bloomfield, John Stevens
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Mathematics -- Textbooks,Logic, Symbolic and mathematical
Classification :
510
B655d
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
493. Discrete mathematical structures
Author: / by Rakesh Dube and Vijay Vir
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathemathics,Logic, Symbolic and mathematical
Classification :
QA39
.
3
.
D95
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
494. Discrete mathematics
Author: / Douglas E. Ensley, J. Winston Crawley
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical,Mathematical recreations,Computer science, Mathematics
Classification :
QA9
.
25
.
E57
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
495. Discrete mathematics
پدیدآورنده : Douglas E. Ensley, J. Winston Crawley
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer science- Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
496. Discrete mathematics
Author: by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
Classification :
QA
,
162
,.
D57
,
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
497. Discrete mathematics :
Author: Douglas E. Ensley, J. Winston Crawley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Logic, Symbolic and mathematical.,Mathematical recreations.,Computer science-- Mathematics.,Computerwiskunde.,Logic, Symbolic and mathematical.,Mathematical recreations.,Numerieke wiskunde.,Wiskundige logica.
Classification :
QA9
.
25
.
E57
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
498. Discrete mathematics And Graph Theory
Author: Purna .Chandra Bisweal
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Algebra, Abstract, Outlines, syllabi, etc,Combinatorial analysis, Outlines, syllabi, etc,Logic, Symbolic and mathematical, Outlines, syllabi, etc
Classification :
510
,
B85
,
2005
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
499. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
QA
39
.
3
.
R67
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
500. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics,Computer science,Logic, Symbolic and mathematical,-- Mathematics
Classification :
511
R813D
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)